SRI International - PDFSEARCH.IO - Document Search Engine

SRI International
Results: 1439

#	Item
541	PDF Document Add to Reading List Source URL: documents.gov.lk Language: English - Date: 2014-11-03 03:50:46 Gazette Political geography International relations Politics Westminster system Republics Sri Lanka
542	Microsoft Word - Sri Lanka Statement - First Committee - 25 Oct 2013.doc Add to Reading List Source URL: unrcpd.org Language: English - Date: 2013-12-02 12:20:52 Sri Lanka Political geography Asia Arms control International relations Conference on Disarmament
543	II Legal E[removed]pmd Add to Reading List Source URL: documents.gov.lk Language: English - Date: 2015-03-12 04:21:01 Gazette Political geography International relations Politics Westminster system Republics Sri Lanka
544	Documenting The Impact Of Conflict On Women Living in Internally Displaced Persons Camps in Sri Lanka: Some Ethical Considerations Shana Swiss, M.D. and Peggy J. Jennings, Ph.D. Women’s Rights International In December Add to Reading List Source URL: womens-rights.org Language: English - Date: 2012-11-16 11:04:13 Forced migration Internally displaced person Persecution Non-governmental organization Domestic violence Alleged war crimes during the Sri Lankan Civil War Sri Lanka Ethics Violence
545	PVS Release Notes Sam Owre SRI International July 20, 2008 Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2008-07-21 06:13:57 Functional languages Type theory Common Lisp Cross-platform software Lisp Emacs Dependent type Subtype polymorphism Software Computing Lisp programming language
546	SRILM — AN EXTENSIBLE LANGUAGE MODELING TOOLKIT Andreas Stolcke Speech Technology and Research Laboratory SRI International, Menlo Park, CA, U.S.A. http://www.speech.sri.com/ ABSTRACT Add to Reading List Source URL: www-speech.sri.com Language: English - Date: 2015-01-30 12:53:24 Linguistics Natural language processing Markov models Statistical natural language processing N-gram Language model Hidden Markov model Bigram Computational linguistics Science Speech recognition
547	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
548	Microsoft Word[removed]TalkingPoint-Summary Add to Reading List Source URL: www.eai.nus.edu.sg Language: English - Date: 2015-02-03 21:59:44 Government Political geography Coalition of the Radical Left International Monetary Fund Alexis Tsipras Politics of Sri Lanka Greece Mahinda Rajapaksa Eurozone Member states of the United Nations Republics International relations
549	MEDIA ADVISORY MONDAY JUNE 30 th SRI LANKAN ASYLUM BOAT OFF CHRISTMAS ISLAND: INTERNATIONAL Add to Reading List Source URL: www.actforpeace.org.au Language: English - Date: 2014-07-09 22:02:23 Population Refugee Right of asylum Sri Lankan diaspora Human geography Jesuit Refugee Service Refugee camp Human migration Demography Forced migration
550	DCE Apr70 OF MULTIACCESS COMPUTER INTELLECTUAL IMPLICATIONS Add to Reading List Source URL: dougengelbart.org Language: English - Date: 2008-02-19 12:39:40 Science Augmentation Research Center SRI International Ambient intelligence Research Douglas Engelbart Futurologists Lemelson–MIT Prize

UPDATE